package pjwstk.jps.interpreter.envs;

import pjwstk.jps.datastore.ISBAStore;
import pjwstk.jps.datastore.OID;
import pjwstk.jps.result.IAbstractQueryResult;
import pjwstk.jps.result.IBagResult;

public interface IENVS {
	public void init(OID rootOID, ISBAStore store);
	public IENVSFrame pop();
	public void push(IENVSFrame frame);
	public IBagResult bind(String name);
	public IENVSFrame nested(IAbstractQueryResult result, ISBAStore store);
}
